صوری سازی در منطق گزاره ها و نقش ثوابت منطقی در آن
نویسندگان
چکیده مقاله:
یکی از مباحث بنیادین فلسفهی منطقْ صوریسازی است که تأمل در چیستی و چگونگی آن تلاشهای منطقدانان را در سطح وسیعی متوجه خود ساخته است. صوریسازی را میتوان به معنای تحلیل قضایا و استدلالات با توجه به صورت آنها و بدون لحاظ کردن محتوای آنها با هدف آشکار ساختن ساختار منطقی جملات دانست. فرگه، بنیانگذار منطق جدید، با الهام از مفهوم تابع و متغیر در ریاضی و تمایز میان مفهوم و شئ، قضایا را به دو بخش اسمی و محمولی تحلیل کرد که همین امر مبنای صوریسازی در منطق جدید میباشد. اما آنچه سمت و سوی صوریسازی را مشخص میکند، مسألهی اعتبار است، چراکه حفظ اعتبار ضامن صحت نحوهی صوریسازی است. ثوابت منطقی عنصرهای بنیادین ساختهای منطقیاند که در صوریسازی اهمیت فوقالعادهای دارند. اما منطقدانان برای تعیین آنها ملاکهای مختلفی ارائه دادهاند که پذیرفتن هرکدام موجب تغییر در نحوهی صوری کردن گزارهها در منطق میشود. ما در این مقاله نشان خواهیم داد که نظامهای منطقی مختلف میتوانند معیارهای مختلفی برای ثوابت منطقی داشته باشند؛ همچنین انتخاب یک معیار متأثر است از اینکه آیا میخواهیم ثابت منطقی جدیدی به نظام موجود بیافزاییم یا در مقام تأسیس یک نظام هستیم.
منابع مشابه
دستگاه منطقی قرآن کریم در افق منطق صوری
هر چیزی که ساختار منسجم و معقولی دارد، دارای ساختار و دستگاهی منطقی است. قرآن کریم نیز در مقام کتاب آسمانی ای که بر پیامبر اکرم(ص) نازل شده، دارای ساختار و دستگاهی منطقی است. از آنجا که قرآن کریم بر انسان ها نازل شده و قصد خروج انسان ها از ظلمت ها به نور را دارد باید دارای ساختاری بر وفق ادراک انسان ها باشد. ساختار فکری و ادراکی انسان ها بر ساختار منطق ارسطویی ـ که چیزی جز ساختار ادراکی و فکری ...
متن کاملDegenerate Four Wave Mixing in Photonic Crystal Fibers
In this study, Four Wave Mixing (FWM) characteristics in photonic crystal fibers are investigated. The effect of channel spacing, phase mismatching, and fiber length on FWM efficiency have been studied. The variation of idler frequency which obtained by this technique with pumping and signal wavelengths has been discussed. The effect of fiber dispersion has been taken into account; we obtain th...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملاثر بربرین در تنظیم آستروسیتهای Gfap+ ناحیه هیپوکمپ موشهای صحرایی دیابتی شده با استرپتوزوتوسین
Background: Diabetes mellitus increases the risk of central nervous system (CNS) disorders such as stroke, seizures, dementia, and cognitive impairment. Berberine, a natural isoquinolne alkaloid, is reported to exhibit beneficial effect in various neurodegenerative and neuropsychiatric disorders. Moreover astrocytes are proving critical for normal CNS function, and alterations in their activity...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 10 شماره 34
صفحات 41- 60
تاریخ انتشار 2013-03-18
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023